2181. The great rift :
پدیدآورنده : Michael E. Hobart.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Mathematics-- History.,Mathematics, Medieval.,Numeration-- History.,Religion and science-- History.,Science, Renaissance.,Signs and symbols-- History.,02.01 history of science and culture.,15.70 history of Europe.,Mathematics, Medieval.,Mathematics.,Mathematik,Numeration.,Religion,Religion and science.,Science, Renaissance.,Signs and symbols.,Wissenschaft,Wissenschaftsentwicklung,Zahlzeichen
رده :
BL265
.
M3
H63
2018
2182. The incomputable : journeys beyond the Turing barrier
پدیدآورنده : S. Barry Cooper, Mariya I. Soskova, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Unsolvability )Mathematical logic(,، Computable functions,، Logic, Symbolic and mathematical
رده :
QA
9
.
63
.
I52
2183. The innovation in computing companion :
پدیدآورنده : Gerard O'Regan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computers-- Technological innovations.,Inventions.,Calculators.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Computers.,Mathematical instruments.
رده :
QA76
.
5
.
O74
2018
2184. The language of logic
پدیدآورنده : Freudenthal, Hans
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
F7513
2186. The limits of science; outline of logic and of the methodology of the exact sciences.
پدیدآورنده : Chwistek, Leon
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Science - Methodology,، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
Q
175
.
C494
1948
2187. The limits of science;outline of logic and of the methodology of the exact sciences
پدیدآورنده : By the late Leon Chwistek; Introduction and appendix by Helen Charlotte Brodie
کتابخانه: Library of Faculty Literature of University of Tehran (Tehran)
موضوع : Science--Methodology.,Mathematics--Philosophy.,Logic, Symbolic and mathematical.
2188. The limits of science; outline of logic and of the methology of the exact science
پدیدآورنده : / [Translated from the Polish by Helen Charlotte Brodie and Arthur P. Coleman] Introduction and appendix by Helen Charlotte Brodie,Chwistek
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Science -- Methodolgy,Mathematics -- Philosophy.,Logic, Symbolic and mathematical
رده :
Q
175
.
C494
2189. The logic book /
پدیدآورنده : Merrie Bergmann, James Moor, Jack Nelson
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Predicate (Logic)
رده :
BC135
.
B435
2009
2190. The logic book
پدیدآورنده : Bergmann, Merrie.
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Prediction )Logic(
رده :
BC
135
.
B435
2009
2191. The logic book /
پدیدآورنده : Merrie Bergmann, James Moor, Jack Nelson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical.,Predicate (Logic),Logic, Symbolic and mathematical.,Logica.,Predicate (Logic),Symbolische logica.,Voorspellingen.,Wiskundige logica.
رده :
BC135
.
B435
2003
2192. The logic design of transistor digital computers
پدیدآورنده : / by Gerald A. Maley [and] John Earle
کتابخانه: Central Library of Campus 1 Technical University of Tehran (Tehran)
موضوع : Electronic digital computers--Design and construction,Transistor circuits,Logic,Symbolic and mathematical
رده :
TK
7888
.
3
.
M3
2193. The logic of Infinity /
پدیدآورنده : Barnaby Sheppard
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic, Symbolic and mathematical,Set theory
رده :
QA248
.
S44
2014
2194. The logic of chance
پدیدآورنده : Venn, John
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Chance,، Probabilities,Methodology ، Science,، Logic, Symbolic and mathematical
رده :
BC
141
.
V4
1962
2195. The logic of chance
پدیدآورنده : / by John Venn
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Chance,Probabilities,Science - Methodology,Logic . symbolic and mathematical
رده :
BC141
.
V4
1962
2196. The logic of information structures
پدیدآورنده : Wansing, Heinrich T.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
681
2197. The logic of information structures
پدیدآورنده : Wansing, Heinrich
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer science,، Artificial intelligence,، Logic, Symbolic and mathematical
رده :
QA
76
.
W235
1993
2198. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N35
1995
2199. The logic of partial information
پدیدآورنده : Nait Abdallah, Areski, 0591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
N3
2200. The logic of programming
پدیدآورنده : Hehner, Eric C. R.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
H427
1984
